Definitions

definition A definition is numbered in the same way as a clause but has a run-in header and does not appear in the table of contents; see [*] for further details.